1. ......................
پدیدآورنده : ISILC Proof Theory Symposium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
2. Advances in Proof Theory
پدیدآورنده : \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory -- Congresses.
رده :
E-Book
,
3. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
4. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
5. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edite by M. M. Richter, ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
6. ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory
رده :
QA
3
.
L28
no
.
500
7. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by J. Diller and G. H. Muller
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Proof theory,، Schutte, Kurt - Bibliography
رده :
QA
1
.
L4
v
.
500
8. ISILC Proof Theory Symposion : dedicated to Kurt Schیtte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by J. Diller and G. H. Mیller
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
رده :
QA
9
.
54
.
I8
1974
9. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by J. Diller and G. H. Muller
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
Vol
.
500
10. ISILC Proof theory symposium; Dedicated to Kurt Schutte on the occasion of his 65th birthday; Proceedings of the international summer institute and logic colloquium, Kiel, 1974
پدیدآورنده : / edited by J. Diller and G. H. Muller
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Proof theory - Congresses,Schutte Kurt - Bibliography
رده :
510
L471
No
.
500
11. Probability And Inference In The Law Of Evidence: The Uses And Limits Of Bayesianism
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Evidence (Law)- Congresses,Burden Of Proof- Congresses,Inference (Logic)- Congresses,Bayesian Statistical Decision Theory- Congresses
رده :
Q
،
174
،.
B67
،
1988
